Rename GResources for standard GTK themes
authorEmmanuele Bassi <ebassi@gnome.org>
Fri, 27 Mar 2020 15:20:59 +0000 (15:20 +0000)
committerEmmanuele Bassi <ebassi@gnome.org>
Fri, 27 Mar 2020 15:20:59 +0000 (15:20 +0000)
commitf1003d6ae88cfbd36cb6fe105b46244d1eecd738
tree4e989e1828fac9e5f556390998340f722a831315
parentc3c06e60dcc0813fd5007e1e2ab1b99dfafa4298
Rename GResources for standard GTK themes

After commit 2ab9be54fb34c61eedbbb89b78ce9db23ba81e8a we had to rename
the generated CSS files to be included into the GResource bundle; we
kept the URI stable to avoid too much churn, and allow backporting the
change to the 3.24 stable branch. This had the adverse effect of making
it harder to debug issues, as the on-disk file name does not match the
location in the GResource that will be used to print out warnings,
errors, and debugging messages.
gtk/gen-gtk-gresources-xml.py
gtk/theme/Adwaita/gtk-dark.css
gtk/theme/Adwaita/gtk.css
gtk/theme/HighContrast/gtk-inverse.css
gtk/theme/HighContrast/gtk.css